- formal assumption
- формальное допущение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Assumption Cathedral — or Dormition Cathedral (Russian: храма Успения Cathedral of the dormition or Успенский собор Uspenski Cathedral) may refer to a number of Cathedral churches consecrated to the Dormition of the Theotokos in the Orthodox tradition and Assumption of … Wikipedia
Assumption Antipolo — Infobox School name = Assumption Antipolo imagesize = 150px motto = Ave Maria Regina ( Hail Queen Mary ) established = 1984 type = Private, Catholic school principal = Sr. Irene Cecile, R.A. city = Antipolo City state = Rizal country = PHI… … Wikipedia
Assumption College (Philippines) — Infobox University name = Assumption College established = 1959 type = Private women s college, Roman Catholic dean (Business) = Sister Josefina Maria Magat location = San Lorenzo Drive, San Lorenzo Village, Makati City, Philippines website=… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
assumption — as|sump|tion W2S2 [əˈsʌmpʃən] n 1.) something that you think is true although you have no definite proof assumption that ▪ A lot of people make the assumption that poverty only exists in the Third World. ▪ My calculations were based on the… … Dictionary of contemporary English
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
assumption — noun 1 (C) something that you think is true although you have no proof: make an assumption: A lot of people make the assumption that poverty only exists in the Third World. | on the assumption that: I m working on the assumption that the money… … Longman dictionary of contemporary English
Formal scheme — In mathematics, specifically in algebraic geometry, a formal scheme is a type of space which includes data about its surroundings. Unlike an ordinary scheme, a formal scheme includes infinitesimal data that, in effect, points in a direction off… … Wikipedia
formal implication — In a logical calculus, one proposition A formally implies another B if there is a proof starting from A as an assumption and ending with B … Philosophy dictionary
Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… … Wikipedia
Open world assumption — In formal logic, the open world assumption is the assumption that the truth value of a statement is independent of whether or not it is known by any single observer or agent to be true. It is the opposite of the closed world assumption, which… … Wikipedia